logica相关论文
This paper shows that the discovery processes of Einstein’s special theory of relativity and Darwin’s theory of evolut......
...
在中国国家863高技术发展计划重大专项《基于制造资源优化配置的制造过程管理系统》之子课题《可重构制造资源优化配置平台》,中国......
为了让网络工程专业学生灵活地应用路由交换理论、更好地掌握网络设备内部组成、熟悉网络领域新技术,将开放可编程网络的概念引入......
通过对微机应用系统中地址译码器设计方法的探讨,指出了传统MSI器件的局限性.提出一种用可编程逻辑器件PLD设计任意地址范围译码器......
在多普勒雷达降水回波径向速度场中及时准确地发现逆风区,对灾害天气预报预警具有重要意义.根据逆风区在雷达径向速度图中的物理图......
针对继电保护装置对实时性、可靠性要求很高的特殊应用需求,提出一种基于逻辑栈和三值信号量的嵌入式实时操作系统的模型——YZ_RTO......
提升高校思想政治理论课获得感,需要处理好课程主体的转换、教学内容的转换、评价范式的转换,界定获得感的内涵变换;需要回答为谁......
产品概念设计是一种复杂的推理求解过程,它的设计过程的推理、判断工作量往往非常巨大,利用“与/或”权的知识表达方法,对产品概念设计......
逻辑起点、逻辑中介和逻辑终点是构成任何科学理论体系的逻辑三要素,其准确确定是判断这一体系是否严密、科学的根本依据。本文通......
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采......
为了提高嵌入式系统的开发效率和设计可靠性、提供在获得硬件原型之前的虚拟集成验证手段,本文引入了软硬件协同验证的概念,提出了......
自组装是组装基元通过分子间相互作用自发形成纳米晶体结构的过程,是创造合成纳米晶体和拓展晶体新功能的重要技术。基于对DNA知识......
在全球化快速发展的今天,比较教育无论在研究方法上,还是在研究范式上都面临着变革的要求。要实现这些变革,首先需要转变比较教育研究......
为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括......
增强学习已经开始向关系增强学习发展,并且产生了许多新的算法。这些方法是将命题表达提升为关系或计算逻辑的表达。提出了一种新的......
在现代化工业生产中,颜色传感器的应用日益广泛。本文就颜色传感器的原理进行了综合的分析,同时提出了一种鉴别速度较快的数字化色标......
全面、正确地揭示人的本质是科学理解人的全面发展的内涵及实现路径的逻辑起点。人的本质内在地包含着人的自然本质、人的社会本质......
本文总结了作者在数学分析的概念教学中的经验,从分析互否概念的逻辑结构入手,找出了它们的内在联系和表现形式,以期达到准确地掌......
目前,对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面,而业务构件的质量则较少得到关注。质量必然是满足构件使......
从人的本质的哲学视野来分析,人的本质在历史发展中有着多重表现样态,人的本质层次的差异和谐化与和谐差异化分别构成了人的可持续发......
阐明了增量调制丁类放大器的编码信号及其逻辑关系,最后指出了利用关闭律可以同时抑制间隙零码和间隙躁声,从而提高了cDA的性能.......
在转换生成语法理论框架内,结合人类语言的基本逻辑模板,重新分析了结果性次要谓语结构的句法特征,探讨了结果性次要谓语的句法地......
公共财政的经济运行背景与逻辑前提,是一个值得深入反省的理论问题,本文通过理论辨析和考证,得出的结论是:公共财政经济运行的背景是市......
提出了一种复合数学形态粗细结构分割方法,它能理想地分离工程图纸中的粗,细结构,基本不产生形状失真。......